Nuprl Definition : preorder 12,41
compound
Preorder(T;x,y.R(x;y)) == Refl(T;x,y.R(x;y)) & Trans(T;x,y.R(x;y)) 
latex

DefinitionsP & Q, Refl(T;x,y.E(x;y)), Trans(T;x,y.E(x;y))
FDL editor aliasespreorder

origin